-------------------------------- MODULE Integers ----------------------------
EXTENDS Naturals
LOCAL R == INSTANCE ProtoReals

Int  ==  R!Int
-. a == 0 - a
=============================================================================
